closed quotient